what is readline in python